:-['tools.pro','globalConstraints.pro','pairwisegenerator.pro' ].
:-use_module(library(atts)). 
:- attribute ftAttr/2 , lstAttr/1.
verify_attributes(Var, Other, Goals).
a(environmentcontrol,environmentcontrol,[and,1,2]).
a(environmentcontrol,lightmanagement,[and,0,2]).
a(environmentcontrol,gui,[and,0,2]).
a(environmentcontrol,presencesimulator,[and,0,2]).
a(environmentcontrol,firecontrol,[and,0,2]).
a(environmentcontrol,doorlock,[and,0,2]).
a(environmentcontrol,measurementunits,[and,1,3]).
a(environmentcontrol,temperaturemanagement,[and,1,3]).
a(environmentcontrol,windowsmanagement,[and,1,3]).
a(environmentcontrol,celsius,[and,1,4]).
a(environmentcontrol,fahrenheit,[and,1,4]).
a(environmentcontrol,heatingmanagement,[and,1,4]).
a(environmentcontrol,smartheatingmanagement,[and,1,4]).
a(environmentcontrol,manualwindows,[and,1,4]).
a(environmentcontrol,automaticwindows,[and,1,4]).
a(environmentcontrol,smartlightmanagement,[and,0,3]).
a(environmentcontrol,pre_definedvalues,[and,0,3]).
a(environmentcontrol,simplecontrol,[and,0,3]).
a(environmentcontrol,touchscreen,[and,0,3]).
a(environmentcontrol,mobile,[and,0,3]).
a(environmentcontrol,internet,[and,0,3]).
a(environmentcontrol,lightsimulation,[and,0,3]).
a(environmentcontrol,blindsimulation,[and,0,3]).
a(environmentcontrol,musicsimulation,[and,0,3]).
a(environmentcontrol,firstaidgroup,[and,0,3]).
a(environmentcontrol,firealarm,[and,0,3]).
a(environmentcontrol,firedepartment,[and,0,4]).
a(environmentcontrol,othergroup,[and,0,4]).
a(environmentcontrol,siren,[and,0,4]).
a(environmentcontrol,bell,[and,0,4]).
a(environmentcontrol,light,[and,0,4]).
a(environmentcontrol,keypadreader,[and,0,3]).
a(environmentcontrol,cardreader,[and,0,3]).
a(environmentcontrol,fingerprintreader,[and,0,3]).
a(environmentcontrol,smarthome,[and,0,1]).
a(lightmanagement,environmentcontrol,[and,0,2]).
a(lightmanagement,lightmanagement,[null,1,2]).
a(lightmanagement,gui,[and,0,2]).
a(lightmanagement,presencesimulator,[and,0,2]).
a(lightmanagement,firecontrol,[and,0,2]).
a(lightmanagement,doorlock,[and,0,2]).
a(lightmanagement,measurementunits,[and,0,3]).
a(lightmanagement,temperaturemanagement,[and,0,3]).
a(lightmanagement,windowsmanagement,[and,0,3]).
a(lightmanagement,celsius,[and,0,4]).
a(lightmanagement,fahrenheit,[and,0,4]).
a(lightmanagement,heatingmanagement,[and,0,4]).
a(lightmanagement,smartheatingmanagement,[and,0,4]).
a(lightmanagement,manualwindows,[and,0,4]).
a(lightmanagement,automaticwindows,[and,0,4]).
a(lightmanagement,smartlightmanagement,[null,1,3]).
a(lightmanagement,pre_definedvalues,[null,1,3]).
a(lightmanagement,simplecontrol,[null,1,3]).
a(lightmanagement,touchscreen,[and,0,3]).
a(lightmanagement,mobile,[and,0,3]).
a(lightmanagement,internet,[and,0,3]).
a(lightmanagement,lightsimulation,[and,0,3]).
a(lightmanagement,blindsimulation,[and,0,3]).
a(lightmanagement,musicsimulation,[and,0,3]).
a(lightmanagement,firstaidgroup,[and,0,3]).
a(lightmanagement,firealarm,[and,0,3]).
a(lightmanagement,firedepartment,[and,0,4]).
a(lightmanagement,othergroup,[and,0,4]).
a(lightmanagement,siren,[and,0,4]).
a(lightmanagement,bell,[and,0,4]).
a(lightmanagement,light,[and,0,4]).
a(lightmanagement,keypadreader,[and,0,3]).
a(lightmanagement,cardreader,[and,0,3]).
a(lightmanagement,fingerprintreader,[and,0,3]).
a(lightmanagement,smarthome,[and,0,1]).
a(gui,environmentcontrol,[and,0,2]).
a(gui,lightmanagement,[and,0,2]).
a(gui,gui,[opt,1,2]).
a(gui,presencesimulator,[and,0,2]).
a(gui,firecontrol,[and,0,2]).
a(gui,doorlock,[and,0,2]).
a(gui,measurementunits,[and,0,3]).
a(gui,temperaturemanagement,[and,0,3]).
a(gui,windowsmanagement,[and,0,3]).
a(gui,celsius,[and,0,4]).
a(gui,fahrenheit,[and,0,4]).
a(gui,heatingmanagement,[and,0,4]).
a(gui,smartheatingmanagement,[and,0,4]).
a(gui,manualwindows,[and,0,4]).
a(gui,automaticwindows,[and,0,4]).
a(gui,smartlightmanagement,[and,0,3]).
a(gui,pre_definedvalues,[and,0,3]).
a(gui,simplecontrol,[and,0,3]).
a(gui,touchscreen,[opt,1,3]).
a(gui,mobile,[opt,1,3]).
a(gui,internet,[opt,1,3]).
a(gui,lightsimulation,[and,0,3]).
a(gui,blindsimulation,[and,0,3]).
a(gui,musicsimulation,[and,0,3]).
a(gui,firstaidgroup,[and,0,3]).
a(gui,firealarm,[and,0,3]).
a(gui,firedepartment,[and,0,4]).
a(gui,othergroup,[and,0,4]).
a(gui,siren,[and,0,4]).
a(gui,bell,[and,0,4]).
a(gui,light,[and,0,4]).
a(gui,keypadreader,[and,0,3]).
a(gui,cardreader,[and,0,3]).
a(gui,fingerprintreader,[and,0,3]).
a(gui,smarthome,[and,0,1]).
a(presencesimulator,environmentcontrol,[and,0,2]).
a(presencesimulator,lightmanagement,[and,0,2]).
a(presencesimulator,gui,[and,0,2]).
a(presencesimulator,presencesimulator,[opt,1,2]).
a(presencesimulator,firecontrol,[and,0,2]).
a(presencesimulator,doorlock,[and,0,2]).
a(presencesimulator,measurementunits,[and,0,3]).
a(presencesimulator,temperaturemanagement,[and,0,3]).
a(presencesimulator,windowsmanagement,[and,0,3]).
a(presencesimulator,celsius,[and,0,4]).
a(presencesimulator,fahrenheit,[and,0,4]).
a(presencesimulator,heatingmanagement,[and,0,4]).
a(presencesimulator,smartheatingmanagement,[and,0,4]).
a(presencesimulator,manualwindows,[and,0,4]).
a(presencesimulator,automaticwindows,[and,0,4]).
a(presencesimulator,smartlightmanagement,[and,0,3]).
a(presencesimulator,pre_definedvalues,[and,0,3]).
a(presencesimulator,simplecontrol,[and,0,3]).
a(presencesimulator,touchscreen,[and,0,3]).
a(presencesimulator,mobile,[and,0,3]).
a(presencesimulator,internet,[and,0,3]).
a(presencesimulator,lightsimulation,[opt,1,3]).
a(presencesimulator,blindsimulation,[opt,1,3]).
a(presencesimulator,musicsimulation,[opt,1,3]).
a(presencesimulator,firstaidgroup,[and,0,3]).
a(presencesimulator,firealarm,[and,0,3]).
a(presencesimulator,firedepartment,[and,0,4]).
a(presencesimulator,othergroup,[and,0,4]).
a(presencesimulator,siren,[and,0,4]).
a(presencesimulator,bell,[and,0,4]).
a(presencesimulator,light,[and,0,4]).
a(presencesimulator,keypadreader,[and,0,3]).
a(presencesimulator,cardreader,[and,0,3]).
a(presencesimulator,fingerprintreader,[and,0,3]).
a(presencesimulator,smarthome,[and,0,1]).
a(firecontrol,environmentcontrol,[and,0,2]).
a(firecontrol,lightmanagement,[and,0,2]).
a(firecontrol,gui,[and,0,2]).
a(firecontrol,presencesimulator,[and,0,2]).
a(firecontrol,firecontrol,[and,1,2]).
a(firecontrol,doorlock,[and,0,2]).
a(firecontrol,measurementunits,[and,0,3]).
a(firecontrol,temperaturemanagement,[and,0,3]).
a(firecontrol,windowsmanagement,[and,0,3]).
a(firecontrol,celsius,[and,0,4]).
a(firecontrol,fahrenheit,[and,0,4]).
a(firecontrol,heatingmanagement,[and,0,4]).
a(firecontrol,smartheatingmanagement,[and,0,4]).
a(firecontrol,manualwindows,[and,0,4]).
a(firecontrol,automaticwindows,[and,0,4]).
a(firecontrol,smartlightmanagement,[and,0,3]).
a(firecontrol,pre_definedvalues,[and,0,3]).
a(firecontrol,simplecontrol,[and,0,3]).
a(firecontrol,touchscreen,[and,0,3]).
a(firecontrol,mobile,[and,0,3]).
a(firecontrol,internet,[and,0,3]).
a(firecontrol,lightsimulation,[and,0,3]).
a(firecontrol,blindsimulation,[and,0,3]).
a(firecontrol,musicsimulation,[and,0,3]).
a(firecontrol,firstaidgroup,[and,1,3]).
a(firecontrol,firealarm,[and,1,3]).
a(firecontrol,firedepartment,[and,1,4]).
a(firecontrol,othergroup,[and,1,4]).
a(firecontrol,siren,[and,1,4]).
a(firecontrol,bell,[and,1,4]).
a(firecontrol,light,[and,1,4]).
a(firecontrol,keypadreader,[and,0,3]).
a(firecontrol,cardreader,[and,0,3]).
a(firecontrol,fingerprintreader,[and,0,3]).
a(firecontrol,smarthome,[and,0,1]).
a(doorlock,environmentcontrol,[and,0,2]).
a(doorlock,lightmanagement,[and,0,2]).
a(doorlock,gui,[and,0,2]).
a(doorlock,presencesimulator,[and,0,2]).
a(doorlock,firecontrol,[and,0,2]).
a(doorlock,doorlock,[opt,1,2]).
a(doorlock,measurementunits,[and,0,3]).
a(doorlock,temperaturemanagement,[and,0,3]).
a(doorlock,windowsmanagement,[and,0,3]).
a(doorlock,celsius,[and,0,4]).
a(doorlock,fahrenheit,[and,0,4]).
a(doorlock,heatingmanagement,[and,0,4]).
a(doorlock,smartheatingmanagement,[and,0,4]).
a(doorlock,manualwindows,[and,0,4]).
a(doorlock,automaticwindows,[and,0,4]).
a(doorlock,smartlightmanagement,[and,0,3]).
a(doorlock,pre_definedvalues,[and,0,3]).
a(doorlock,simplecontrol,[and,0,3]).
a(doorlock,touchscreen,[and,0,3]).
a(doorlock,mobile,[and,0,3]).
a(doorlock,internet,[and,0,3]).
a(doorlock,lightsimulation,[and,0,3]).
a(doorlock,blindsimulation,[and,0,3]).
a(doorlock,musicsimulation,[and,0,3]).
a(doorlock,firstaidgroup,[and,0,3]).
a(doorlock,firealarm,[and,0,3]).
a(doorlock,firedepartment,[and,0,4]).
a(doorlock,othergroup,[and,0,4]).
a(doorlock,siren,[and,0,4]).
a(doorlock,bell,[and,0,4]).
a(doorlock,light,[and,0,4]).
a(doorlock,keypadreader,[opt,1,3]).
a(doorlock,cardreader,[opt,1,3]).
a(doorlock,fingerprintreader,[opt,1,3]).
a(doorlock,smarthome,[and,0,1]).
a(measurementunits,environmentcontrol,[and,1,3]).
a(measurementunits,lightmanagement,[and,0,3]).
a(measurementunits,gui,[and,0,3]).
a(measurementunits,presencesimulator,[and,0,3]).
a(measurementunits,firecontrol,[and,0,3]).
a(measurementunits,doorlock,[and,0,3]).
a(measurementunits,measurementunits,[opt,2,4]).
a(measurementunits,temperaturemanagement,[and,1,4]).
a(measurementunits,windowsmanagement,[and,1,4]).
a(measurementunits,celsius,[opt,2,5]).
a(measurementunits,fahrenheit,[opt,2,5]).
a(measurementunits,heatingmanagement,[and,1,5]).
a(measurementunits,smartheatingmanagement,[and,1,5]).
a(measurementunits,manualwindows,[and,1,5]).
a(measurementunits,automaticwindows,[and,1,5]).
a(measurementunits,smartlightmanagement,[and,0,4]).
a(measurementunits,pre_definedvalues,[and,0,4]).
a(measurementunits,simplecontrol,[and,0,4]).
a(measurementunits,touchscreen,[and,0,4]).
a(measurementunits,mobile,[and,0,4]).
a(measurementunits,internet,[and,0,4]).
a(measurementunits,lightsimulation,[and,0,4]).
a(measurementunits,blindsimulation,[and,0,4]).
a(measurementunits,musicsimulation,[and,0,4]).
a(measurementunits,firstaidgroup,[and,0,4]).
a(measurementunits,firealarm,[and,0,4]).
a(measurementunits,firedepartment,[and,0,5]).
a(measurementunits,othergroup,[and,0,5]).
a(measurementunits,siren,[and,0,5]).
a(measurementunits,bell,[and,0,5]).
a(measurementunits,light,[and,0,5]).
a(measurementunits,keypadreader,[and,0,4]).
a(measurementunits,cardreader,[and,0,4]).
a(measurementunits,fingerprintreader,[and,0,4]).
a(measurementunits,smarthome,[and,0,2]).
a(temperaturemanagement,environmentcontrol,[and,1,3]).
a(temperaturemanagement,lightmanagement,[and,0,3]).
a(temperaturemanagement,gui,[and,0,3]).
a(temperaturemanagement,presencesimulator,[and,0,3]).
a(temperaturemanagement,firecontrol,[and,0,3]).
a(temperaturemanagement,doorlock,[and,0,3]).
a(temperaturemanagement,measurementunits,[and,1,4]).
a(temperaturemanagement,temperaturemanagement,[null,2,4]).
a(temperaturemanagement,windowsmanagement,[and,1,4]).
a(temperaturemanagement,celsius,[and,1,5]).
a(temperaturemanagement,fahrenheit,[and,1,5]).
a(temperaturemanagement,heatingmanagement,[null,2,5]).
a(temperaturemanagement,smartheatingmanagement,[null,2,5]).
a(temperaturemanagement,manualwindows,[and,1,5]).
a(temperaturemanagement,automaticwindows,[and,1,5]).
a(temperaturemanagement,smartlightmanagement,[and,0,4]).
a(temperaturemanagement,pre_definedvalues,[and,0,4]).
a(temperaturemanagement,simplecontrol,[and,0,4]).
a(temperaturemanagement,touchscreen,[and,0,4]).
a(temperaturemanagement,mobile,[and,0,4]).
a(temperaturemanagement,internet,[and,0,4]).
a(temperaturemanagement,lightsimulation,[and,0,4]).
a(temperaturemanagement,blindsimulation,[and,0,4]).
a(temperaturemanagement,musicsimulation,[and,0,4]).
a(temperaturemanagement,firstaidgroup,[and,0,4]).
a(temperaturemanagement,firealarm,[and,0,4]).
a(temperaturemanagement,firedepartment,[and,0,5]).
a(temperaturemanagement,othergroup,[and,0,5]).
a(temperaturemanagement,siren,[and,0,5]).
a(temperaturemanagement,bell,[and,0,5]).
a(temperaturemanagement,light,[and,0,5]).
a(temperaturemanagement,keypadreader,[and,0,4]).
a(temperaturemanagement,cardreader,[and,0,4]).
a(temperaturemanagement,fingerprintreader,[and,0,4]).
a(temperaturemanagement,smarthome,[and,0,2]).
a(windowsmanagement,environmentcontrol,[and,1,3]).
a(windowsmanagement,lightmanagement,[and,0,3]).
a(windowsmanagement,gui,[and,0,3]).
a(windowsmanagement,presencesimulator,[and,0,3]).
a(windowsmanagement,firecontrol,[and,0,3]).
a(windowsmanagement,doorlock,[and,0,3]).
a(windowsmanagement,measurementunits,[and,1,4]).
a(windowsmanagement,temperaturemanagement,[and,1,4]).
a(windowsmanagement,windowsmanagement,[null,2,4]).
a(windowsmanagement,celsius,[and,1,5]).
a(windowsmanagement,fahrenheit,[and,1,5]).
a(windowsmanagement,heatingmanagement,[and,1,5]).
a(windowsmanagement,smartheatingmanagement,[and,1,5]).
a(windowsmanagement,manualwindows,[null,2,5]).
a(windowsmanagement,automaticwindows,[null,2,5]).
a(windowsmanagement,smartlightmanagement,[and,0,4]).
a(windowsmanagement,pre_definedvalues,[and,0,4]).
a(windowsmanagement,simplecontrol,[and,0,4]).
a(windowsmanagement,touchscreen,[and,0,4]).
a(windowsmanagement,mobile,[and,0,4]).
a(windowsmanagement,internet,[and,0,4]).
a(windowsmanagement,lightsimulation,[and,0,4]).
a(windowsmanagement,blindsimulation,[and,0,4]).
a(windowsmanagement,musicsimulation,[and,0,4]).
a(windowsmanagement,firstaidgroup,[and,0,4]).
a(windowsmanagement,firealarm,[and,0,4]).
a(windowsmanagement,firedepartment,[and,0,5]).
a(windowsmanagement,othergroup,[and,0,5]).
a(windowsmanagement,siren,[and,0,5]).
a(windowsmanagement,bell,[and,0,5]).
a(windowsmanagement,light,[and,0,5]).
a(windowsmanagement,keypadreader,[and,0,4]).
a(windowsmanagement,cardreader,[and,0,4]).
a(windowsmanagement,fingerprintreader,[and,0,4]).
a(windowsmanagement,smarthome,[and,0,2]).
a(celsius,environmentcontrol,[and,1,4]).
a(celsius,lightmanagement,[and,0,4]).
a(celsius,gui,[and,0,4]).
a(celsius,presencesimulator,[and,0,4]).
a(celsius,firecontrol,[and,0,4]).
a(celsius,doorlock,[and,0,4]).
a(celsius,measurementunits,[opt,2,5]).
a(celsius,temperaturemanagement,[and,1,5]).
a(celsius,windowsmanagement,[and,1,5]).
a(celsius,celsius,[null,3,6]).
a(celsius,fahrenheit,[opt,2,6]).
a(celsius,heatingmanagement,[and,1,6]).
a(celsius,smartheatingmanagement,[and,1,6]).
a(celsius,manualwindows,[and,1,6]).
a(celsius,automaticwindows,[and,1,6]).
a(celsius,smartlightmanagement,[and,0,5]).
a(celsius,pre_definedvalues,[and,0,5]).
a(celsius,simplecontrol,[and,0,5]).
a(celsius,touchscreen,[and,0,5]).
a(celsius,mobile,[and,0,5]).
a(celsius,internet,[and,0,5]).
a(celsius,lightsimulation,[and,0,5]).
a(celsius,blindsimulation,[and,0,5]).
a(celsius,musicsimulation,[and,0,5]).
a(celsius,firstaidgroup,[and,0,5]).
a(celsius,firealarm,[and,0,5]).
a(celsius,firedepartment,[and,0,6]).
a(celsius,othergroup,[and,0,6]).
a(celsius,siren,[and,0,6]).
a(celsius,bell,[and,0,6]).
a(celsius,light,[and,0,6]).
a(celsius,keypadreader,[and,0,5]).
a(celsius,cardreader,[and,0,5]).
a(celsius,fingerprintreader,[and,0,5]).
a(celsius,smarthome,[and,0,3]).
a(fahrenheit,environmentcontrol,[and,1,4]).
a(fahrenheit,lightmanagement,[and,0,4]).
a(fahrenheit,gui,[and,0,4]).
a(fahrenheit,presencesimulator,[and,0,4]).
a(fahrenheit,firecontrol,[and,0,4]).
a(fahrenheit,doorlock,[and,0,4]).
a(fahrenheit,measurementunits,[opt,2,5]).
a(fahrenheit,temperaturemanagement,[and,1,5]).
a(fahrenheit,windowsmanagement,[and,1,5]).
a(fahrenheit,celsius,[opt,2,6]).
a(fahrenheit,fahrenheit,[null,3,6]).
a(fahrenheit,heatingmanagement,[and,1,6]).
a(fahrenheit,smartheatingmanagement,[and,1,6]).
a(fahrenheit,manualwindows,[and,1,6]).
a(fahrenheit,automaticwindows,[and,1,6]).
a(fahrenheit,smartlightmanagement,[and,0,5]).
a(fahrenheit,pre_definedvalues,[and,0,5]).
a(fahrenheit,simplecontrol,[and,0,5]).
a(fahrenheit,touchscreen,[and,0,5]).
a(fahrenheit,mobile,[and,0,5]).
a(fahrenheit,internet,[and,0,5]).
a(fahrenheit,lightsimulation,[and,0,5]).
a(fahrenheit,blindsimulation,[and,0,5]).
a(fahrenheit,musicsimulation,[and,0,5]).
a(fahrenheit,firstaidgroup,[and,0,5]).
a(fahrenheit,firealarm,[and,0,5]).
a(fahrenheit,firedepartment,[and,0,6]).
a(fahrenheit,othergroup,[and,0,6]).
a(fahrenheit,siren,[and,0,6]).
a(fahrenheit,bell,[and,0,6]).
a(fahrenheit,light,[and,0,6]).
a(fahrenheit,keypadreader,[and,0,5]).
a(fahrenheit,cardreader,[and,0,5]).
a(fahrenheit,fingerprintreader,[and,0,5]).
a(fahrenheit,smarthome,[and,0,3]).
a(heatingmanagement,environmentcontrol,[and,1,4]).
a(heatingmanagement,lightmanagement,[and,0,4]).
a(heatingmanagement,gui,[and,0,4]).
a(heatingmanagement,presencesimulator,[and,0,4]).
a(heatingmanagement,firecontrol,[and,0,4]).
a(heatingmanagement,doorlock,[and,0,4]).
a(heatingmanagement,measurementunits,[and,1,5]).
a(heatingmanagement,temperaturemanagement,[null,2,5]).
a(heatingmanagement,windowsmanagement,[and,1,5]).
a(heatingmanagement,celsius,[and,1,6]).
a(heatingmanagement,fahrenheit,[and,1,6]).
a(heatingmanagement,heatingmanagement,[null,3,6]).
a(heatingmanagement,smartheatingmanagement,[null,2,6]).
a(heatingmanagement,manualwindows,[and,1,6]).
a(heatingmanagement,automaticwindows,[and,1,6]).
a(heatingmanagement,smartlightmanagement,[and,0,5]).
a(heatingmanagement,pre_definedvalues,[and,0,5]).
a(heatingmanagement,simplecontrol,[and,0,5]).
a(heatingmanagement,touchscreen,[and,0,5]).
a(heatingmanagement,mobile,[and,0,5]).
a(heatingmanagement,internet,[and,0,5]).
a(heatingmanagement,lightsimulation,[and,0,5]).
a(heatingmanagement,blindsimulation,[and,0,5]).
a(heatingmanagement,musicsimulation,[and,0,5]).
a(heatingmanagement,firstaidgroup,[and,0,5]).
a(heatingmanagement,firealarm,[and,0,5]).
a(heatingmanagement,firedepartment,[and,0,6]).
a(heatingmanagement,othergroup,[and,0,6]).
a(heatingmanagement,siren,[and,0,6]).
a(heatingmanagement,bell,[and,0,6]).
a(heatingmanagement,light,[and,0,6]).
a(heatingmanagement,keypadreader,[and,0,5]).
a(heatingmanagement,cardreader,[and,0,5]).
a(heatingmanagement,fingerprintreader,[and,0,5]).
a(heatingmanagement,smarthome,[and,0,3]).
a(smartheatingmanagement,environmentcontrol,[and,1,4]).
a(smartheatingmanagement,lightmanagement,[and,0,4]).
a(smartheatingmanagement,gui,[and,0,4]).
a(smartheatingmanagement,presencesimulator,[and,0,4]).
a(smartheatingmanagement,firecontrol,[and,0,4]).
a(smartheatingmanagement,doorlock,[and,0,4]).
a(smartheatingmanagement,measurementunits,[and,1,5]).
a(smartheatingmanagement,temperaturemanagement,[null,2,5]).
a(smartheatingmanagement,windowsmanagement,[and,1,5]).
a(smartheatingmanagement,celsius,[and,1,6]).
a(smartheatingmanagement,fahrenheit,[and,1,6]).
a(smartheatingmanagement,heatingmanagement,[null,2,6]).
a(smartheatingmanagement,smartheatingmanagement,[null,3,6]).
a(smartheatingmanagement,manualwindows,[and,1,6]).
a(smartheatingmanagement,automaticwindows,[and,1,6]).
a(smartheatingmanagement,smartlightmanagement,[and,0,5]).
a(smartheatingmanagement,pre_definedvalues,[and,0,5]).
a(smartheatingmanagement,simplecontrol,[and,0,5]).
a(smartheatingmanagement,touchscreen,[and,0,5]).
a(smartheatingmanagement,mobile,[and,0,5]).
a(smartheatingmanagement,internet,[and,0,5]).
a(smartheatingmanagement,lightsimulation,[and,0,5]).
a(smartheatingmanagement,blindsimulation,[and,0,5]).
a(smartheatingmanagement,musicsimulation,[and,0,5]).
a(smartheatingmanagement,firstaidgroup,[and,0,5]).
a(smartheatingmanagement,firealarm,[and,0,5]).
a(smartheatingmanagement,firedepartment,[and,0,6]).
a(smartheatingmanagement,othergroup,[and,0,6]).
a(smartheatingmanagement,siren,[and,0,6]).
a(smartheatingmanagement,bell,[and,0,6]).
a(smartheatingmanagement,light,[and,0,6]).
a(smartheatingmanagement,keypadreader,[and,0,5]).
a(smartheatingmanagement,cardreader,[and,0,5]).
a(smartheatingmanagement,fingerprintreader,[and,0,5]).
a(smartheatingmanagement,smarthome,[and,0,3]).
a(manualwindows,environmentcontrol,[and,1,4]).
a(manualwindows,lightmanagement,[and,0,4]).
a(manualwindows,gui,[and,0,4]).
a(manualwindows,presencesimulator,[and,0,4]).
a(manualwindows,firecontrol,[and,0,4]).
a(manualwindows,doorlock,[and,0,4]).
a(manualwindows,measurementunits,[and,1,5]).
a(manualwindows,temperaturemanagement,[and,1,5]).
a(manualwindows,windowsmanagement,[null,2,5]).
a(manualwindows,celsius,[and,1,6]).
a(manualwindows,fahrenheit,[and,1,6]).
a(manualwindows,heatingmanagement,[and,1,6]).
a(manualwindows,smartheatingmanagement,[and,1,6]).
a(manualwindows,manualwindows,[null,3,6]).
a(manualwindows,automaticwindows,[null,2,6]).
a(manualwindows,smartlightmanagement,[and,0,5]).
a(manualwindows,pre_definedvalues,[and,0,5]).
a(manualwindows,simplecontrol,[and,0,5]).
a(manualwindows,touchscreen,[and,0,5]).
a(manualwindows,mobile,[and,0,5]).
a(manualwindows,internet,[and,0,5]).
a(manualwindows,lightsimulation,[and,0,5]).
a(manualwindows,blindsimulation,[and,0,5]).
a(manualwindows,musicsimulation,[and,0,5]).
a(manualwindows,firstaidgroup,[and,0,5]).
a(manualwindows,firealarm,[and,0,5]).
a(manualwindows,firedepartment,[and,0,6]).
a(manualwindows,othergroup,[and,0,6]).
a(manualwindows,siren,[and,0,6]).
a(manualwindows,bell,[and,0,6]).
a(manualwindows,light,[and,0,6]).
a(manualwindows,keypadreader,[and,0,5]).
a(manualwindows,cardreader,[and,0,5]).
a(manualwindows,fingerprintreader,[and,0,5]).
a(manualwindows,smarthome,[and,0,3]).
a(automaticwindows,environmentcontrol,[and,1,4]).
a(automaticwindows,lightmanagement,[and,0,4]).
a(automaticwindows,gui,[and,0,4]).
a(automaticwindows,presencesimulator,[and,0,4]).
a(automaticwindows,firecontrol,[and,0,4]).
a(automaticwindows,doorlock,[and,0,4]).
a(automaticwindows,measurementunits,[and,1,5]).
a(automaticwindows,temperaturemanagement,[and,1,5]).
a(automaticwindows,windowsmanagement,[null,2,5]).
a(automaticwindows,celsius,[and,1,6]).
a(automaticwindows,fahrenheit,[and,1,6]).
a(automaticwindows,heatingmanagement,[and,1,6]).
a(automaticwindows,smartheatingmanagement,[and,1,6]).
a(automaticwindows,manualwindows,[null,2,6]).
a(automaticwindows,automaticwindows,[null,3,6]).
a(automaticwindows,smartlightmanagement,[and,0,5]).
a(automaticwindows,pre_definedvalues,[and,0,5]).
a(automaticwindows,simplecontrol,[and,0,5]).
a(automaticwindows,touchscreen,[and,0,5]).
a(automaticwindows,mobile,[and,0,5]).
a(automaticwindows,internet,[and,0,5]).
a(automaticwindows,lightsimulation,[and,0,5]).
a(automaticwindows,blindsimulation,[and,0,5]).
a(automaticwindows,musicsimulation,[and,0,5]).
a(automaticwindows,firstaidgroup,[and,0,5]).
a(automaticwindows,firealarm,[and,0,5]).
a(automaticwindows,firedepartment,[and,0,6]).
a(automaticwindows,othergroup,[and,0,6]).
a(automaticwindows,siren,[and,0,6]).
a(automaticwindows,bell,[and,0,6]).
a(automaticwindows,light,[and,0,6]).
a(automaticwindows,keypadreader,[and,0,5]).
a(automaticwindows,cardreader,[and,0,5]).
a(automaticwindows,fingerprintreader,[and,0,5]).
a(automaticwindows,smarthome,[and,0,3]).
a(smartlightmanagement,environmentcontrol,[and,0,3]).
a(smartlightmanagement,lightmanagement,[null,1,3]).
a(smartlightmanagement,gui,[and,0,3]).
a(smartlightmanagement,presencesimulator,[and,0,3]).
a(smartlightmanagement,firecontrol,[and,0,3]).
a(smartlightmanagement,doorlock,[and,0,3]).
a(smartlightmanagement,measurementunits,[and,0,4]).
a(smartlightmanagement,temperaturemanagement,[and,0,4]).
a(smartlightmanagement,windowsmanagement,[and,0,4]).
a(smartlightmanagement,celsius,[and,0,5]).
a(smartlightmanagement,fahrenheit,[and,0,5]).
a(smartlightmanagement,heatingmanagement,[and,0,5]).
a(smartlightmanagement,smartheatingmanagement,[and,0,5]).
a(smartlightmanagement,manualwindows,[and,0,5]).
a(smartlightmanagement,automaticwindows,[and,0,5]).
a(smartlightmanagement,smartlightmanagement,[null,2,4]).
a(smartlightmanagement,pre_definedvalues,[null,1,4]).
a(smartlightmanagement,simplecontrol,[null,1,4]).
a(smartlightmanagement,touchscreen,[and,0,4]).
a(smartlightmanagement,mobile,[and,0,4]).
a(smartlightmanagement,internet,[and,0,4]).
a(smartlightmanagement,lightsimulation,[and,0,4]).
a(smartlightmanagement,blindsimulation,[and,0,4]).
a(smartlightmanagement,musicsimulation,[and,0,4]).
a(smartlightmanagement,firstaidgroup,[and,0,4]).
a(smartlightmanagement,firealarm,[and,0,4]).
a(smartlightmanagement,firedepartment,[and,0,5]).
a(smartlightmanagement,othergroup,[and,0,5]).
a(smartlightmanagement,siren,[and,0,5]).
a(smartlightmanagement,bell,[and,0,5]).
a(smartlightmanagement,light,[and,0,5]).
a(smartlightmanagement,keypadreader,[and,0,4]).
a(smartlightmanagement,cardreader,[and,0,4]).
a(smartlightmanagement,fingerprintreader,[and,0,4]).
a(smartlightmanagement,smarthome,[and,0,2]).
a(pre_definedvalues,environmentcontrol,[and,0,3]).
a(pre_definedvalues,lightmanagement,[null,1,3]).
a(pre_definedvalues,gui,[and,0,3]).
a(pre_definedvalues,presencesimulator,[and,0,3]).
a(pre_definedvalues,firecontrol,[and,0,3]).
a(pre_definedvalues,doorlock,[and,0,3]).
a(pre_definedvalues,measurementunits,[and,0,4]).
a(pre_definedvalues,temperaturemanagement,[and,0,4]).
a(pre_definedvalues,windowsmanagement,[and,0,4]).
a(pre_definedvalues,celsius,[and,0,5]).
a(pre_definedvalues,fahrenheit,[and,0,5]).
a(pre_definedvalues,heatingmanagement,[and,0,5]).
a(pre_definedvalues,smartheatingmanagement,[and,0,5]).
a(pre_definedvalues,manualwindows,[and,0,5]).
a(pre_definedvalues,automaticwindows,[and,0,5]).
a(pre_definedvalues,smartlightmanagement,[null,1,4]).
a(pre_definedvalues,pre_definedvalues,[null,2,4]).
a(pre_definedvalues,simplecontrol,[null,1,4]).
a(pre_definedvalues,touchscreen,[and,0,4]).
a(pre_definedvalues,mobile,[and,0,4]).
a(pre_definedvalues,internet,[and,0,4]).
a(pre_definedvalues,lightsimulation,[and,0,4]).
a(pre_definedvalues,blindsimulation,[and,0,4]).
a(pre_definedvalues,musicsimulation,[and,0,4]).
a(pre_definedvalues,firstaidgroup,[and,0,4]).
a(pre_definedvalues,firealarm,[and,0,4]).
a(pre_definedvalues,firedepartment,[and,0,5]).
a(pre_definedvalues,othergroup,[and,0,5]).
a(pre_definedvalues,siren,[and,0,5]).
a(pre_definedvalues,bell,[and,0,5]).
a(pre_definedvalues,light,[and,0,5]).
a(pre_definedvalues,keypadreader,[and,0,4]).
a(pre_definedvalues,cardreader,[and,0,4]).
a(pre_definedvalues,fingerprintreader,[and,0,4]).
a(pre_definedvalues,smarthome,[and,0,2]).
a(simplecontrol,environmentcontrol,[and,0,3]).
a(simplecontrol,lightmanagement,[null,1,3]).
a(simplecontrol,gui,[and,0,3]).
a(simplecontrol,presencesimulator,[and,0,3]).
a(simplecontrol,firecontrol,[and,0,3]).
a(simplecontrol,doorlock,[and,0,3]).
a(simplecontrol,measurementunits,[and,0,4]).
a(simplecontrol,temperaturemanagement,[and,0,4]).
a(simplecontrol,windowsmanagement,[and,0,4]).
a(simplecontrol,celsius,[and,0,5]).
a(simplecontrol,fahrenheit,[and,0,5]).
a(simplecontrol,heatingmanagement,[and,0,5]).
a(simplecontrol,smartheatingmanagement,[and,0,5]).
a(simplecontrol,manualwindows,[and,0,5]).
a(simplecontrol,automaticwindows,[and,0,5]).
a(simplecontrol,smartlightmanagement,[null,1,4]).
a(simplecontrol,pre_definedvalues,[null,1,4]).
a(simplecontrol,simplecontrol,[null,2,4]).
a(simplecontrol,touchscreen,[and,0,4]).
a(simplecontrol,mobile,[and,0,4]).
a(simplecontrol,internet,[and,0,4]).
a(simplecontrol,lightsimulation,[and,0,4]).
a(simplecontrol,blindsimulation,[and,0,4]).
a(simplecontrol,musicsimulation,[and,0,4]).
a(simplecontrol,firstaidgroup,[and,0,4]).
a(simplecontrol,firealarm,[and,0,4]).
a(simplecontrol,firedepartment,[and,0,5]).
a(simplecontrol,othergroup,[and,0,5]).
a(simplecontrol,siren,[and,0,5]).
a(simplecontrol,bell,[and,0,5]).
a(simplecontrol,light,[and,0,5]).
a(simplecontrol,keypadreader,[and,0,4]).
a(simplecontrol,cardreader,[and,0,4]).
a(simplecontrol,fingerprintreader,[and,0,4]).
a(simplecontrol,smarthome,[and,0,2]).
a(touchscreen,environmentcontrol,[and,0,3]).
a(touchscreen,lightmanagement,[and,0,3]).
a(touchscreen,gui,[opt,1,3]).
a(touchscreen,presencesimulator,[and,0,3]).
a(touchscreen,firecontrol,[and,0,3]).
a(touchscreen,doorlock,[and,0,3]).
a(touchscreen,measurementunits,[and,0,4]).
a(touchscreen,temperaturemanagement,[and,0,4]).
a(touchscreen,windowsmanagement,[and,0,4]).
a(touchscreen,celsius,[and,0,5]).
a(touchscreen,fahrenheit,[and,0,5]).
a(touchscreen,heatingmanagement,[and,0,5]).
a(touchscreen,smartheatingmanagement,[and,0,5]).
a(touchscreen,manualwindows,[and,0,5]).
a(touchscreen,automaticwindows,[and,0,5]).
a(touchscreen,smartlightmanagement,[and,0,4]).
a(touchscreen,pre_definedvalues,[and,0,4]).
a(touchscreen,simplecontrol,[and,0,4]).
a(touchscreen,touchscreen,[null,2,4]).
a(touchscreen,mobile,[opt,1,4]).
a(touchscreen,internet,[opt,1,4]).
a(touchscreen,lightsimulation,[and,0,4]).
a(touchscreen,blindsimulation,[and,0,4]).
a(touchscreen,musicsimulation,[and,0,4]).
a(touchscreen,firstaidgroup,[and,0,4]).
a(touchscreen,firealarm,[and,0,4]).
a(touchscreen,firedepartment,[and,0,5]).
a(touchscreen,othergroup,[and,0,5]).
a(touchscreen,siren,[and,0,5]).
a(touchscreen,bell,[and,0,5]).
a(touchscreen,light,[and,0,5]).
a(touchscreen,keypadreader,[and,0,4]).
a(touchscreen,cardreader,[and,0,4]).
a(touchscreen,fingerprintreader,[and,0,4]).
a(touchscreen,smarthome,[and,0,2]).
a(mobile,environmentcontrol,[and,0,3]).
a(mobile,lightmanagement,[and,0,3]).
a(mobile,gui,[opt,1,3]).
a(mobile,presencesimulator,[and,0,3]).
a(mobile,firecontrol,[and,0,3]).
a(mobile,doorlock,[and,0,3]).
a(mobile,measurementunits,[and,0,4]).
a(mobile,temperaturemanagement,[and,0,4]).
a(mobile,windowsmanagement,[and,0,4]).
a(mobile,celsius,[and,0,5]).
a(mobile,fahrenheit,[and,0,5]).
a(mobile,heatingmanagement,[and,0,5]).
a(mobile,smartheatingmanagement,[and,0,5]).
a(mobile,manualwindows,[and,0,5]).
a(mobile,automaticwindows,[and,0,5]).
a(mobile,smartlightmanagement,[and,0,4]).
a(mobile,pre_definedvalues,[and,0,4]).
a(mobile,simplecontrol,[and,0,4]).
a(mobile,touchscreen,[opt,1,4]).
a(mobile,mobile,[null,2,4]).
a(mobile,internet,[opt,1,4]).
a(mobile,lightsimulation,[and,0,4]).
a(mobile,blindsimulation,[and,0,4]).
a(mobile,musicsimulation,[and,0,4]).
a(mobile,firstaidgroup,[and,0,4]).
a(mobile,firealarm,[and,0,4]).
a(mobile,firedepartment,[and,0,5]).
a(mobile,othergroup,[and,0,5]).
a(mobile,siren,[and,0,5]).
a(mobile,bell,[and,0,5]).
a(mobile,light,[and,0,5]).
a(mobile,keypadreader,[and,0,4]).
a(mobile,cardreader,[and,0,4]).
a(mobile,fingerprintreader,[and,0,4]).
a(mobile,smarthome,[and,0,2]).
a(internet,environmentcontrol,[and,0,3]).
a(internet,lightmanagement,[and,0,3]).
a(internet,gui,[opt,1,3]).
a(internet,presencesimulator,[and,0,3]).
a(internet,firecontrol,[and,0,3]).
a(internet,doorlock,[and,0,3]).
a(internet,measurementunits,[and,0,4]).
a(internet,temperaturemanagement,[and,0,4]).
a(internet,windowsmanagement,[and,0,4]).
a(internet,celsius,[and,0,5]).
a(internet,fahrenheit,[and,0,5]).
a(internet,heatingmanagement,[and,0,5]).
a(internet,smartheatingmanagement,[and,0,5]).
a(internet,manualwindows,[and,0,5]).
a(internet,automaticwindows,[and,0,5]).
a(internet,smartlightmanagement,[and,0,4]).
a(internet,pre_definedvalues,[and,0,4]).
a(internet,simplecontrol,[and,0,4]).
a(internet,touchscreen,[opt,1,4]).
a(internet,mobile,[opt,1,4]).
a(internet,internet,[null,2,4]).
a(internet,lightsimulation,[and,0,4]).
a(internet,blindsimulation,[and,0,4]).
a(internet,musicsimulation,[and,0,4]).
a(internet,firstaidgroup,[and,0,4]).
a(internet,firealarm,[and,0,4]).
a(internet,firedepartment,[and,0,5]).
a(internet,othergroup,[and,0,5]).
a(internet,siren,[and,0,5]).
a(internet,bell,[and,0,5]).
a(internet,light,[and,0,5]).
a(internet,keypadreader,[and,0,4]).
a(internet,cardreader,[and,0,4]).
a(internet,fingerprintreader,[and,0,4]).
a(internet,smarthome,[and,0,2]).
a(lightsimulation,environmentcontrol,[and,0,3]).
a(lightsimulation,lightmanagement,[and,0,3]).
a(lightsimulation,gui,[and,0,3]).
a(lightsimulation,presencesimulator,[opt,1,3]).
a(lightsimulation,firecontrol,[and,0,3]).
a(lightsimulation,doorlock,[and,0,3]).
a(lightsimulation,measurementunits,[and,0,4]).
a(lightsimulation,temperaturemanagement,[and,0,4]).
a(lightsimulation,windowsmanagement,[and,0,4]).
a(lightsimulation,celsius,[and,0,5]).
a(lightsimulation,fahrenheit,[and,0,5]).
a(lightsimulation,heatingmanagement,[and,0,5]).
a(lightsimulation,smartheatingmanagement,[and,0,5]).
a(lightsimulation,manualwindows,[and,0,5]).
a(lightsimulation,automaticwindows,[and,0,5]).
a(lightsimulation,smartlightmanagement,[and,0,4]).
a(lightsimulation,pre_definedvalues,[and,0,4]).
a(lightsimulation,simplecontrol,[and,0,4]).
a(lightsimulation,touchscreen,[and,0,4]).
a(lightsimulation,mobile,[and,0,4]).
a(lightsimulation,internet,[and,0,4]).
a(lightsimulation,lightsimulation,[null,2,4]).
a(lightsimulation,blindsimulation,[opt,1,4]).
a(lightsimulation,musicsimulation,[opt,1,4]).
a(lightsimulation,firstaidgroup,[and,0,4]).
a(lightsimulation,firealarm,[and,0,4]).
a(lightsimulation,firedepartment,[and,0,5]).
a(lightsimulation,othergroup,[and,0,5]).
a(lightsimulation,siren,[and,0,5]).
a(lightsimulation,bell,[and,0,5]).
a(lightsimulation,light,[and,0,5]).
a(lightsimulation,keypadreader,[and,0,4]).
a(lightsimulation,cardreader,[and,0,4]).
a(lightsimulation,fingerprintreader,[and,0,4]).
a(lightsimulation,smarthome,[and,0,2]).
a(blindsimulation,environmentcontrol,[and,0,3]).
a(blindsimulation,lightmanagement,[and,0,3]).
a(blindsimulation,gui,[and,0,3]).
a(blindsimulation,presencesimulator,[opt,1,3]).
a(blindsimulation,firecontrol,[and,0,3]).
a(blindsimulation,doorlock,[and,0,3]).
a(blindsimulation,measurementunits,[and,0,4]).
a(blindsimulation,temperaturemanagement,[and,0,4]).
a(blindsimulation,windowsmanagement,[and,0,4]).
a(blindsimulation,celsius,[and,0,5]).
a(blindsimulation,fahrenheit,[and,0,5]).
a(blindsimulation,heatingmanagement,[and,0,5]).
a(blindsimulation,smartheatingmanagement,[and,0,5]).
a(blindsimulation,manualwindows,[and,0,5]).
a(blindsimulation,automaticwindows,[and,0,5]).
a(blindsimulation,smartlightmanagement,[and,0,4]).
a(blindsimulation,pre_definedvalues,[and,0,4]).
a(blindsimulation,simplecontrol,[and,0,4]).
a(blindsimulation,touchscreen,[and,0,4]).
a(blindsimulation,mobile,[and,0,4]).
a(blindsimulation,internet,[and,0,4]).
a(blindsimulation,lightsimulation,[opt,1,4]).
a(blindsimulation,blindsimulation,[null,2,4]).
a(blindsimulation,musicsimulation,[opt,1,4]).
a(blindsimulation,firstaidgroup,[and,0,4]).
a(blindsimulation,firealarm,[and,0,4]).
a(blindsimulation,firedepartment,[and,0,5]).
a(blindsimulation,othergroup,[and,0,5]).
a(blindsimulation,siren,[and,0,5]).
a(blindsimulation,bell,[and,0,5]).
a(blindsimulation,light,[and,0,5]).
a(blindsimulation,keypadreader,[and,0,4]).
a(blindsimulation,cardreader,[and,0,4]).
a(blindsimulation,fingerprintreader,[and,0,4]).
a(blindsimulation,smarthome,[and,0,2]).
a(musicsimulation,environmentcontrol,[and,0,3]).
a(musicsimulation,lightmanagement,[and,0,3]).
a(musicsimulation,gui,[and,0,3]).
a(musicsimulation,presencesimulator,[opt,1,3]).
a(musicsimulation,firecontrol,[and,0,3]).
a(musicsimulation,doorlock,[and,0,3]).
a(musicsimulation,measurementunits,[and,0,4]).
a(musicsimulation,temperaturemanagement,[and,0,4]).
a(musicsimulation,windowsmanagement,[and,0,4]).
a(musicsimulation,celsius,[and,0,5]).
a(musicsimulation,fahrenheit,[and,0,5]).
a(musicsimulation,heatingmanagement,[and,0,5]).
a(musicsimulation,smartheatingmanagement,[and,0,5]).
a(musicsimulation,manualwindows,[and,0,5]).
a(musicsimulation,automaticwindows,[and,0,5]).
a(musicsimulation,smartlightmanagement,[and,0,4]).
a(musicsimulation,pre_definedvalues,[and,0,4]).
a(musicsimulation,simplecontrol,[and,0,4]).
a(musicsimulation,touchscreen,[and,0,4]).
a(musicsimulation,mobile,[and,0,4]).
a(musicsimulation,internet,[and,0,4]).
a(musicsimulation,lightsimulation,[opt,1,4]).
a(musicsimulation,blindsimulation,[opt,1,4]).
a(musicsimulation,musicsimulation,[null,2,4]).
a(musicsimulation,firstaidgroup,[and,0,4]).
a(musicsimulation,firealarm,[and,0,4]).
a(musicsimulation,firedepartment,[and,0,5]).
a(musicsimulation,othergroup,[and,0,5]).
a(musicsimulation,siren,[and,0,5]).
a(musicsimulation,bell,[and,0,5]).
a(musicsimulation,light,[and,0,5]).
a(musicsimulation,keypadreader,[and,0,4]).
a(musicsimulation,cardreader,[and,0,4]).
a(musicsimulation,fingerprintreader,[and,0,4]).
a(musicsimulation,smarthome,[and,0,2]).
a(firstaidgroup,environmentcontrol,[and,0,3]).
a(firstaidgroup,lightmanagement,[and,0,3]).
a(firstaidgroup,gui,[and,0,3]).
a(firstaidgroup,presencesimulator,[and,0,3]).
a(firstaidgroup,firecontrol,[and,1,3]).
a(firstaidgroup,doorlock,[and,0,3]).
a(firstaidgroup,measurementunits,[and,0,4]).
a(firstaidgroup,temperaturemanagement,[and,0,4]).
a(firstaidgroup,windowsmanagement,[and,0,4]).
a(firstaidgroup,celsius,[and,0,5]).
a(firstaidgroup,fahrenheit,[and,0,5]).
a(firstaidgroup,heatingmanagement,[and,0,5]).
a(firstaidgroup,smartheatingmanagement,[and,0,5]).
a(firstaidgroup,manualwindows,[and,0,5]).
a(firstaidgroup,automaticwindows,[and,0,5]).
a(firstaidgroup,smartlightmanagement,[and,0,4]).
a(firstaidgroup,pre_definedvalues,[and,0,4]).
a(firstaidgroup,simplecontrol,[and,0,4]).
a(firstaidgroup,touchscreen,[and,0,4]).
a(firstaidgroup,mobile,[and,0,4]).
a(firstaidgroup,internet,[and,0,4]).
a(firstaidgroup,lightsimulation,[and,0,4]).
a(firstaidgroup,blindsimulation,[and,0,4]).
a(firstaidgroup,musicsimulation,[and,0,4]).
a(firstaidgroup,firstaidgroup,[opt,2,4]).
a(firstaidgroup,firealarm,[and,1,4]).
a(firstaidgroup,firedepartment,[opt,2,5]).
a(firstaidgroup,othergroup,[opt,2,5]).
a(firstaidgroup,siren,[and,1,5]).
a(firstaidgroup,bell,[and,1,5]).
a(firstaidgroup,light,[and,1,5]).
a(firstaidgroup,keypadreader,[and,0,4]).
a(firstaidgroup,cardreader,[and,0,4]).
a(firstaidgroup,fingerprintreader,[and,0,4]).
a(firstaidgroup,smarthome,[and,0,2]).
a(firealarm,environmentcontrol,[and,0,3]).
a(firealarm,lightmanagement,[and,0,3]).
a(firealarm,gui,[and,0,3]).
a(firealarm,presencesimulator,[and,0,3]).
a(firealarm,firecontrol,[and,1,3]).
a(firealarm,doorlock,[and,0,3]).
a(firealarm,measurementunits,[and,0,4]).
a(firealarm,temperaturemanagement,[and,0,4]).
a(firealarm,windowsmanagement,[and,0,4]).
a(firealarm,celsius,[and,0,5]).
a(firealarm,fahrenheit,[and,0,5]).
a(firealarm,heatingmanagement,[and,0,5]).
a(firealarm,smartheatingmanagement,[and,0,5]).
a(firealarm,manualwindows,[and,0,5]).
a(firealarm,automaticwindows,[and,0,5]).
a(firealarm,smartlightmanagement,[and,0,4]).
a(firealarm,pre_definedvalues,[and,0,4]).
a(firealarm,simplecontrol,[and,0,4]).
a(firealarm,touchscreen,[and,0,4]).
a(firealarm,mobile,[and,0,4]).
a(firealarm,internet,[and,0,4]).
a(firealarm,lightsimulation,[and,0,4]).
a(firealarm,blindsimulation,[and,0,4]).
a(firealarm,musicsimulation,[and,0,4]).
a(firealarm,firstaidgroup,[and,1,4]).
a(firealarm,firealarm,[opt,2,4]).
a(firealarm,firedepartment,[and,1,5]).
a(firealarm,othergroup,[and,1,5]).
a(firealarm,siren,[opt,2,5]).
a(firealarm,bell,[opt,2,5]).
a(firealarm,light,[opt,2,5]).
a(firealarm,keypadreader,[and,0,4]).
a(firealarm,cardreader,[and,0,4]).
a(firealarm,fingerprintreader,[and,0,4]).
a(firealarm,smarthome,[and,0,2]).
a(firedepartment,environmentcontrol,[and,0,4]).
a(firedepartment,lightmanagement,[and,0,4]).
a(firedepartment,gui,[and,0,4]).
a(firedepartment,presencesimulator,[and,0,4]).
a(firedepartment,firecontrol,[and,1,4]).
a(firedepartment,doorlock,[and,0,4]).
a(firedepartment,measurementunits,[and,0,5]).
a(firedepartment,temperaturemanagement,[and,0,5]).
a(firedepartment,windowsmanagement,[and,0,5]).
a(firedepartment,celsius,[and,0,6]).
a(firedepartment,fahrenheit,[and,0,6]).
a(firedepartment,heatingmanagement,[and,0,6]).
a(firedepartment,smartheatingmanagement,[and,0,6]).
a(firedepartment,manualwindows,[and,0,6]).
a(firedepartment,automaticwindows,[and,0,6]).
a(firedepartment,smartlightmanagement,[and,0,5]).
a(firedepartment,pre_definedvalues,[and,0,5]).
a(firedepartment,simplecontrol,[and,0,5]).
a(firedepartment,touchscreen,[and,0,5]).
a(firedepartment,mobile,[and,0,5]).
a(firedepartment,internet,[and,0,5]).
a(firedepartment,lightsimulation,[and,0,5]).
a(firedepartment,blindsimulation,[and,0,5]).
a(firedepartment,musicsimulation,[and,0,5]).
a(firedepartment,firstaidgroup,[opt,2,5]).
a(firedepartment,firealarm,[and,1,5]).
a(firedepartment,firedepartment,[null,3,6]).
a(firedepartment,othergroup,[opt,2,6]).
a(firedepartment,siren,[and,1,6]).
a(firedepartment,bell,[and,1,6]).
a(firedepartment,light,[and,1,6]).
a(firedepartment,keypadreader,[and,0,5]).
a(firedepartment,cardreader,[and,0,5]).
a(firedepartment,fingerprintreader,[and,0,5]).
a(firedepartment,smarthome,[and,0,3]).
a(othergroup,environmentcontrol,[and,0,4]).
a(othergroup,lightmanagement,[and,0,4]).
a(othergroup,gui,[and,0,4]).
a(othergroup,presencesimulator,[and,0,4]).
a(othergroup,firecontrol,[and,1,4]).
a(othergroup,doorlock,[and,0,4]).
a(othergroup,measurementunits,[and,0,5]).
a(othergroup,temperaturemanagement,[and,0,5]).
a(othergroup,windowsmanagement,[and,0,5]).
a(othergroup,celsius,[and,0,6]).
a(othergroup,fahrenheit,[and,0,6]).
a(othergroup,heatingmanagement,[and,0,6]).
a(othergroup,smartheatingmanagement,[and,0,6]).
a(othergroup,manualwindows,[and,0,6]).
a(othergroup,automaticwindows,[and,0,6]).
a(othergroup,smartlightmanagement,[and,0,5]).
a(othergroup,pre_definedvalues,[and,0,5]).
a(othergroup,simplecontrol,[and,0,5]).
a(othergroup,touchscreen,[and,0,5]).
a(othergroup,mobile,[and,0,5]).
a(othergroup,internet,[and,0,5]).
a(othergroup,lightsimulation,[and,0,5]).
a(othergroup,blindsimulation,[and,0,5]).
a(othergroup,musicsimulation,[and,0,5]).
a(othergroup,firstaidgroup,[opt,2,5]).
a(othergroup,firealarm,[and,1,5]).
a(othergroup,firedepartment,[opt,2,6]).
a(othergroup,othergroup,[null,3,6]).
a(othergroup,siren,[and,1,6]).
a(othergroup,bell,[and,1,6]).
a(othergroup,light,[and,1,6]).
a(othergroup,keypadreader,[and,0,5]).
a(othergroup,cardreader,[and,0,5]).
a(othergroup,fingerprintreader,[and,0,5]).
a(othergroup,smarthome,[and,0,3]).
a(siren,environmentcontrol,[and,0,4]).
a(siren,lightmanagement,[and,0,4]).
a(siren,gui,[and,0,4]).
a(siren,presencesimulator,[and,0,4]).
a(siren,firecontrol,[and,1,4]).
a(siren,doorlock,[and,0,4]).
a(siren,measurementunits,[and,0,5]).
a(siren,temperaturemanagement,[and,0,5]).
a(siren,windowsmanagement,[and,0,5]).
a(siren,celsius,[and,0,6]).
a(siren,fahrenheit,[and,0,6]).
a(siren,heatingmanagement,[and,0,6]).
a(siren,smartheatingmanagement,[and,0,6]).
a(siren,manualwindows,[and,0,6]).
a(siren,automaticwindows,[and,0,6]).
a(siren,smartlightmanagement,[and,0,5]).
a(siren,pre_definedvalues,[and,0,5]).
a(siren,simplecontrol,[and,0,5]).
a(siren,touchscreen,[and,0,5]).
a(siren,mobile,[and,0,5]).
a(siren,internet,[and,0,5]).
a(siren,lightsimulation,[and,0,5]).
a(siren,blindsimulation,[and,0,5]).
a(siren,musicsimulation,[and,0,5]).
a(siren,firstaidgroup,[and,1,5]).
a(siren,firealarm,[opt,2,5]).
a(siren,firedepartment,[and,1,6]).
a(siren,othergroup,[and,1,6]).
a(siren,siren,[null,3,6]).
a(siren,bell,[opt,2,6]).
a(siren,light,[opt,2,6]).
a(siren,keypadreader,[and,0,5]).
a(siren,cardreader,[and,0,5]).
a(siren,fingerprintreader,[and,0,5]).
a(siren,smarthome,[and,0,3]).
a(bell,environmentcontrol,[and,0,4]).
a(bell,lightmanagement,[and,0,4]).
a(bell,gui,[and,0,4]).
a(bell,presencesimulator,[and,0,4]).
a(bell,firecontrol,[and,1,4]).
a(bell,doorlock,[and,0,4]).
a(bell,measurementunits,[and,0,5]).
a(bell,temperaturemanagement,[and,0,5]).
a(bell,windowsmanagement,[and,0,5]).
a(bell,celsius,[and,0,6]).
a(bell,fahrenheit,[and,0,6]).
a(bell,heatingmanagement,[and,0,6]).
a(bell,smartheatingmanagement,[and,0,6]).
a(bell,manualwindows,[and,0,6]).
a(bell,automaticwindows,[and,0,6]).
a(bell,smartlightmanagement,[and,0,5]).
a(bell,pre_definedvalues,[and,0,5]).
a(bell,simplecontrol,[and,0,5]).
a(bell,touchscreen,[and,0,5]).
a(bell,mobile,[and,0,5]).
a(bell,internet,[and,0,5]).
a(bell,lightsimulation,[and,0,5]).
a(bell,blindsimulation,[and,0,5]).
a(bell,musicsimulation,[and,0,5]).
a(bell,firstaidgroup,[and,1,5]).
a(bell,firealarm,[opt,2,5]).
a(bell,firedepartment,[and,1,6]).
a(bell,othergroup,[and,1,6]).
a(bell,siren,[opt,2,6]).
a(bell,bell,[null,3,6]).
a(bell,light,[opt,2,6]).
a(bell,keypadreader,[and,0,5]).
a(bell,cardreader,[and,0,5]).
a(bell,fingerprintreader,[and,0,5]).
a(bell,smarthome,[and,0,3]).
a(light,environmentcontrol,[and,0,4]).
a(light,lightmanagement,[and,0,4]).
a(light,gui,[and,0,4]).
a(light,presencesimulator,[and,0,4]).
a(light,firecontrol,[and,1,4]).
a(light,doorlock,[and,0,4]).
a(light,measurementunits,[and,0,5]).
a(light,temperaturemanagement,[and,0,5]).
a(light,windowsmanagement,[and,0,5]).
a(light,celsius,[and,0,6]).
a(light,fahrenheit,[and,0,6]).
a(light,heatingmanagement,[and,0,6]).
a(light,smartheatingmanagement,[and,0,6]).
a(light,manualwindows,[and,0,6]).
a(light,automaticwindows,[and,0,6]).
a(light,smartlightmanagement,[and,0,5]).
a(light,pre_definedvalues,[and,0,5]).
a(light,simplecontrol,[and,0,5]).
a(light,touchscreen,[and,0,5]).
a(light,mobile,[and,0,5]).
a(light,internet,[and,0,5]).
a(light,lightsimulation,[and,0,5]).
a(light,blindsimulation,[and,0,5]).
a(light,musicsimulation,[and,0,5]).
a(light,firstaidgroup,[and,1,5]).
a(light,firealarm,[opt,2,5]).
a(light,firedepartment,[and,1,6]).
a(light,othergroup,[and,1,6]).
a(light,siren,[opt,2,6]).
a(light,bell,[opt,2,6]).
a(light,light,[null,3,6]).
a(light,keypadreader,[and,0,5]).
a(light,cardreader,[and,0,5]).
a(light,fingerprintreader,[and,0,5]).
a(light,smarthome,[and,0,3]).
a(keypadreader,environmentcontrol,[and,0,3]).
a(keypadreader,lightmanagement,[and,0,3]).
a(keypadreader,gui,[and,0,3]).
a(keypadreader,presencesimulator,[and,0,3]).
a(keypadreader,firecontrol,[and,0,3]).
a(keypadreader,doorlock,[opt,1,3]).
a(keypadreader,measurementunits,[and,0,4]).
a(keypadreader,temperaturemanagement,[and,0,4]).
a(keypadreader,windowsmanagement,[and,0,4]).
a(keypadreader,celsius,[and,0,5]).
a(keypadreader,fahrenheit,[and,0,5]).
a(keypadreader,heatingmanagement,[and,0,5]).
a(keypadreader,smartheatingmanagement,[and,0,5]).
a(keypadreader,manualwindows,[and,0,5]).
a(keypadreader,automaticwindows,[and,0,5]).
a(keypadreader,smartlightmanagement,[and,0,4]).
a(keypadreader,pre_definedvalues,[and,0,4]).
a(keypadreader,simplecontrol,[and,0,4]).
a(keypadreader,touchscreen,[and,0,4]).
a(keypadreader,mobile,[and,0,4]).
a(keypadreader,internet,[and,0,4]).
a(keypadreader,lightsimulation,[and,0,4]).
a(keypadreader,blindsimulation,[and,0,4]).
a(keypadreader,musicsimulation,[and,0,4]).
a(keypadreader,firstaidgroup,[and,0,4]).
a(keypadreader,firealarm,[and,0,4]).
a(keypadreader,firedepartment,[and,0,5]).
a(keypadreader,othergroup,[and,0,5]).
a(keypadreader,siren,[and,0,5]).
a(keypadreader,bell,[and,0,5]).
a(keypadreader,light,[and,0,5]).
a(keypadreader,keypadreader,[null,2,4]).
a(keypadreader,cardreader,[opt,1,4]).
a(keypadreader,fingerprintreader,[opt,1,4]).
a(keypadreader,smarthome,[and,0,2]).
a(cardreader,environmentcontrol,[and,0,3]).
a(cardreader,lightmanagement,[and,0,3]).
a(cardreader,gui,[and,0,3]).
a(cardreader,presencesimulator,[and,0,3]).
a(cardreader,firecontrol,[and,0,3]).
a(cardreader,doorlock,[opt,1,3]).
a(cardreader,measurementunits,[and,0,4]).
a(cardreader,temperaturemanagement,[and,0,4]).
a(cardreader,windowsmanagement,[and,0,4]).
a(cardreader,celsius,[and,0,5]).
a(cardreader,fahrenheit,[and,0,5]).
a(cardreader,heatingmanagement,[and,0,5]).
a(cardreader,smartheatingmanagement,[and,0,5]).
a(cardreader,manualwindows,[and,0,5]).
a(cardreader,automaticwindows,[and,0,5]).
a(cardreader,smartlightmanagement,[and,0,4]).
a(cardreader,pre_definedvalues,[and,0,4]).
a(cardreader,simplecontrol,[and,0,4]).
a(cardreader,touchscreen,[and,0,4]).
a(cardreader,mobile,[and,0,4]).
a(cardreader,internet,[and,0,4]).
a(cardreader,lightsimulation,[and,0,4]).
a(cardreader,blindsimulation,[and,0,4]).
a(cardreader,musicsimulation,[and,0,4]).
a(cardreader,firstaidgroup,[and,0,4]).
a(cardreader,firealarm,[and,0,4]).
a(cardreader,firedepartment,[and,0,5]).
a(cardreader,othergroup,[and,0,5]).
a(cardreader,siren,[and,0,5]).
a(cardreader,bell,[and,0,5]).
a(cardreader,light,[and,0,5]).
a(cardreader,keypadreader,[opt,1,4]).
a(cardreader,cardreader,[null,2,4]).
a(cardreader,fingerprintreader,[opt,1,4]).
a(cardreader,smarthome,[and,0,2]).
a(fingerprintreader,environmentcontrol,[and,0,3]).
a(fingerprintreader,lightmanagement,[and,0,3]).
a(fingerprintreader,gui,[and,0,3]).
a(fingerprintreader,presencesimulator,[and,0,3]).
a(fingerprintreader,firecontrol,[and,0,3]).
a(fingerprintreader,doorlock,[opt,1,3]).
a(fingerprintreader,measurementunits,[and,0,4]).
a(fingerprintreader,temperaturemanagement,[and,0,4]).
a(fingerprintreader,windowsmanagement,[and,0,4]).
a(fingerprintreader,celsius,[and,0,5]).
a(fingerprintreader,fahrenheit,[and,0,5]).
a(fingerprintreader,heatingmanagement,[and,0,5]).
a(fingerprintreader,smartheatingmanagement,[and,0,5]).
a(fingerprintreader,manualwindows,[and,0,5]).
a(fingerprintreader,automaticwindows,[and,0,5]).
a(fingerprintreader,smartlightmanagement,[and,0,4]).
a(fingerprintreader,pre_definedvalues,[and,0,4]).
a(fingerprintreader,simplecontrol,[and,0,4]).
a(fingerprintreader,touchscreen,[and,0,4]).
a(fingerprintreader,mobile,[and,0,4]).
a(fingerprintreader,internet,[and,0,4]).
a(fingerprintreader,lightsimulation,[and,0,4]).
a(fingerprintreader,blindsimulation,[and,0,4]).
a(fingerprintreader,musicsimulation,[and,0,4]).
a(fingerprintreader,firstaidgroup,[and,0,4]).
a(fingerprintreader,firealarm,[and,0,4]).
a(fingerprintreader,firedepartment,[and,0,5]).
a(fingerprintreader,othergroup,[and,0,5]).
a(fingerprintreader,siren,[and,0,5]).
a(fingerprintreader,bell,[and,0,5]).
a(fingerprintreader,light,[and,0,5]).
a(fingerprintreader,keypadreader,[opt,1,4]).
a(fingerprintreader,cardreader,[opt,1,4]).
a(fingerprintreader,fingerprintreader,[null,2,4]).
a(fingerprintreader,smarthome,[and,0,2]).
a(smarthome,environmentcontrol,[and,0,1]).
a(smarthome,lightmanagement,[and,0,1]).
a(smarthome,gui,[and,0,1]).
a(smarthome,presencesimulator,[and,0,1]).
a(smarthome,firecontrol,[and,0,1]).
a(smarthome,doorlock,[and,0,1]).
a(smarthome,measurementunits,[and,0,2]).
a(smarthome,temperaturemanagement,[and,0,2]).
a(smarthome,windowsmanagement,[and,0,2]).
a(smarthome,celsius,[and,0,3]).
a(smarthome,fahrenheit,[and,0,3]).
a(smarthome,heatingmanagement,[and,0,3]).
a(smarthome,smartheatingmanagement,[and,0,3]).
a(smarthome,manualwindows,[and,0,3]).
a(smarthome,automaticwindows,[and,0,3]).
a(smarthome,smartlightmanagement,[and,0,2]).
a(smarthome,pre_definedvalues,[and,0,2]).
a(smarthome,simplecontrol,[and,0,2]).
a(smarthome,touchscreen,[and,0,2]).
a(smarthome,mobile,[and,0,2]).
a(smarthome,internet,[and,0,2]).
a(smarthome,lightsimulation,[and,0,2]).
a(smarthome,blindsimulation,[and,0,2]).
a(smarthome,musicsimulation,[and,0,2]).
a(smarthome,firstaidgroup,[and,0,2]).
a(smarthome,firealarm,[and,0,2]).
a(smarthome,firedepartment,[and,0,3]).
a(smarthome,othergroup,[and,0,3]).
a(smarthome,siren,[and,0,3]).
a(smarthome,bell,[and,0,3]).
a(smarthome,light,[and,0,3]).
a(smarthome,keypadreader,[and,0,2]).
a(smarthome,cardreader,[and,0,2]).
a(smarthome,fingerprintreader,[and,0,2]).
a(smarthome,smarthome,[and,0,0]).

test :-LstFt =[ENVIRONMENTCONTROL,LIGHTMANAGEMENT,GUI,PRESENCESIMULATOR,FIRECONTROL,DOORLOCK,MEASUREMENTUNITS,TEMPERATUREMANAGEMENT,WINDOWSMANAGEMENT,CELSIUS,FAHRENHEIT,HEATINGMANAGEMENT,SMARTHEATINGMANAGEMENT,MANUALWINDOWS,AUTOMATICWINDOWS,SMARTLIGHTMANAGEMENT,PRE_DEFINEDVALUES,SIMPLECONTROL,TOUCHSCREEN,MOBILE,INTERNET,LIGHTSIMULATION,BLINDSIMULATION,MUSICSIMULATION,FIRSTAIDGROUP,FIREALARM,FIREDEPARTMENT,OTHERGROUP,SIREN,BELL,LIGHT,KEYPADREADER,CARDREADER,FINGERPRINTREADER,SMARTHOME],
 Ctr = [ and(SMARTHOME,[ENVIRONMENTCONTROL,LIGHTMANAGEMENT,GUI,PRESENCESIMULATOR,FIRECONTROL,DOORLOCK]), and(ENVIRONMENTCONTROL,[MEASUREMENTUNITS,TEMPERATUREMANAGEMENT,WINDOWSMANAGEMENT]), opt(MEASUREMENTUNITS,[CELSIUS,FAHRENHEIT]),   and(TEMPERATUREMANAGEMENT,[HEATINGMANAGEMENT]),opt(TEMPERATUREMANAGEMENT,[SMARTHEATINGMANAGEMENT]),   and(WINDOWSMANAGEMENT,[MANUALWINDOWS]),opt(WINDOWSMANAGEMENT,[AUTOMATICWINDOWS]),   opt(LIGHTMANAGEMENT,[SMARTLIGHTMANAGEMENT,PRE_DEFINEDVALUES]),and(LIGHTMANAGEMENT,[SIMPLECONTROL]),    opt(GUI,[TOUCHSCREEN,MOBILE,INTERNET]),    opt(PRESENCESIMULATOR,[LIGHTSIMULATION,BLINDSIMULATION,MUSICSIMULATION]),    and(FIRECONTROL,[FIRSTAIDGROUP,FIREALARM]), opt(FIRSTAIDGROUP,[FIREDEPARTMENT,OTHERGROUP]),   opt(FIREALARM,[SIREN,BELL,LIGHT]),    opt(DOORLOCK,[KEYPADREADER,CARDREADER,FINGERPRINTREADER])   ],
 Att = [put_atts(ENVIRONMENTCONTROL ,ftAttr(environmentcontrol,_)),
put_atts(LIGHTMANAGEMENT ,ftAttr(lightmanagement,_)),
put_atts(GUI ,ftAttr(gui,_)),
put_atts(PRESENCESIMULATOR ,ftAttr(presencesimulator,_)),
put_atts(FIRECONTROL ,ftAttr(firecontrol,_)),
put_atts(DOORLOCK ,ftAttr(doorlock,_)),
put_atts(MEASUREMENTUNITS ,ftAttr(measurementunits,_)),
put_atts(TEMPERATUREMANAGEMENT ,ftAttr(temperaturemanagement,_)),
put_atts(WINDOWSMANAGEMENT ,ftAttr(windowsmanagement,_)),
put_atts(CELSIUS ,ftAttr(celsius,_)),
put_atts(FAHRENHEIT ,ftAttr(fahrenheit,_)),
put_atts(HEATINGMANAGEMENT ,ftAttr(heatingmanagement,_)),
put_atts(SMARTHEATINGMANAGEMENT ,ftAttr(smartheatingmanagement,_)),
put_atts(MANUALWINDOWS ,ftAttr(manualwindows,_)),
put_atts(AUTOMATICWINDOWS ,ftAttr(automaticwindows,_)),
put_atts(SMARTLIGHTMANAGEMENT ,ftAttr(smartlightmanagement,_)),
put_atts(PRE_DEFINEDVALUES ,ftAttr(pre_definedvalues,_)),
put_atts(SIMPLECONTROL ,ftAttr(simplecontrol,_)),
put_atts(TOUCHSCREEN ,ftAttr(touchscreen,_)),
put_atts(MOBILE ,ftAttr(mobile,_)),
put_atts(INTERNET ,ftAttr(internet,_)),
put_atts(LIGHTSIMULATION ,ftAttr(lightsimulation,_)),
put_atts(BLINDSIMULATION ,ftAttr(blindsimulation,_)),
put_atts(MUSICSIMULATION ,ftAttr(musicsimulation,_)),
put_atts(FIRSTAIDGROUP ,ftAttr(firstaidgroup,_)),
put_atts(FIREALARM ,ftAttr(firealarm,_)),
put_atts(FIREDEPARTMENT ,ftAttr(firedepartment,_)),
put_atts(OTHERGROUP ,ftAttr(othergroup,_)),
put_atts(SIREN ,ftAttr(siren,_)),
put_atts(BELL ,ftAttr(bell,_)),
put_atts(LIGHT ,ftAttr(light,_)),
put_atts(KEYPADREADER ,ftAttr(keypadreader,_)),
put_atts(CARDREADER ,ftAttr(cardreader,_)),
put_atts(FINGERPRINTREADER ,ftAttr(fingerprintreader,_)),
put_atts(SMARTHOME ,ftAttr(smarthome,0))
],
callRec(Att),
                 length(LstFt,NbFt),
                writeln('Nb NbFt :'),
                writeln(NbFt),
borneRec(LstFt),
length(Ctr,CtrLeng),
writeln('Nb Ctr :'),
writeln(CtrLeng),
callRec(Ctr),
length(LstFt,SizeMat),
matrice(M,SizeMat,50),
limitMatrix(M,LstFt),
pairwiseGenerator(LstFt,M,PWCTRLST,RANKLST),callRec(PWCTRLST),  
contrainteFDV2(M,LstFt,Ctr,Res),
callRec(Res),
alldiffrec(RANKLST),
flatten(RANKLST,Ilist),  


length(Ilist,Li),
writeln('Nb Paire :'),
writeln(Li),
my_sort(Ilist,LLL),
domain(LLL,1,50),
maximum(K,LLL),


labeling([ff],LLL),
printlst2(LLL),

writeln('_______'),
printlst2(Ilist),
      
       writeMat('matrix.txt',M),
writeln(K).
